大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Production Research Program (National Science Foundation) 的图书(共7003本)

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Experimental Research in Evolutionary Computation [electronic resource] : The New Experimentalism

0
索取号：
作者：Bartz-Beielstein、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

0
索取号：
作者：Coppo、 Mario.、Lodi、 Elena.、Pinna、 G. Michele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号：
作者：Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development

0
索取号：
作者：Bouyssounouse、 Bruno.、Sifakis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Research in Computational Molecular Biology [electronic resource] : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings

0
索取号：
作者：Miyano、 Satoru.、Mesirov、 Jill.、Kasif、 Simon.、Istrail、 Sorin.、Pevzner、 Pavel A.、Waterman、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Research and Advanced Technology for Digital Libraries [electronic resource] : 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005. Proceedings

0
索取号：
作者：Rauber、 Andreas.、Christodoulakis、 Stavros.、Tjoa、 A Min.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Communicating Science [electronic resource] : A Practical Guide

0
索取号：
作者：Laszlo、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Harman、 Neil.、Roggenbach、 Markus.、Rutten、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29鈥揝eptember 2, 2005. Proceedings

0
索取号：
作者：Je抬drzejowicz、 Joanna.、Szepietowski、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Information Retrieval [electronic resource] : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings

0
索取号：
作者：Losada、 David E.、Fern谩ndez-Luna、 Juan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings

0
索取号：
作者：Diekert、 Volker.、Durand、 Bruno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

0
索取号：
作者：Mu帽oz-脕vila、 H茅ctor.、Ricci、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Dayd茅、 Michel.、Dongarra、 Jack.、Hern谩ndez、 Vicente.、Palma、 Jos茅 M. L. M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.